Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
201	Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-25 20:03:38 Data types Type theory Object-oriented programming Model theory C++ Type safety Type system Denotational semantics Subtype polymorphism Software engineering Computing Programming language theory
202	The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-04 23:14:52 Programming language theory Type system Type inference Type safety Variable Closure System F Hindley–Milner Function Software engineering Type theory Computing
203	WIND RIVER DIAB COMPILER Boost application performance, reduce memory footprint, and produce high-quality, standards-compliant object code for embedded systems with Wind River® Diab Compiler. It’s backed by an award-w Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:11 Wind River Systems Embedded operating systems Cross-platform software Dataindustrier AB VxWorks Embedded system Linux Functional Safety Compiler Software Computing Real-time operating systems
204	Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:11 Programming language theory Computing Recursive data type Papyrus 1 Type system Type safety Generic programming Type theory Data types Software engineering
205	Qudos Management Pty. Ltd. Quality \| Health & Safety \| Environmental management 320 Adelaide Street, Brisbane, QLD 4000 Tel: + 3 Spring Street, Sydney, NSW 2000 Tel: + Add to Reading List Source URL: www.qudos-software.com Language: English - Date: 2014-07-24 03:20:13 Standards Quality Auditing OHSAS 18001 Audit Occupational safety and health ISO 14000 Management system Safety Management Systems Risk Evaluation Safety
206	GPS Tracking Solution - ZoomSafer’s Mobile Phone Safety Software Now Compatible with Geotab Add to Reading List Source URL: assuredtelematics.co.uk Language: English - Date: 2015-02-05 11:26:12 Satellite navigation systems Road transport Road safety Information technology management Telematics Vehicle tracking system Distracted driving Global Positioning System Fleet management Technology Transport GPS
207	December 2010 Newsletter Note from Kirk: NetScanTools Pro v11 is moving along quickly now – check the most current status on twitter and facebook. Merry Christmas and have a Happy New Year! http://twitter.com/netscant Add to Reading List Source URL: www.netscantools.com Language: English - Date: 2014-02-27 00:44:53 System software Windows XP Windows Vista Windows USB flash drive Features new to Windows XP Security and safety features new to Windows Vista Microsoft Windows Windows NT Software
208	Open Source Software for the Smartgrid: Challenges for Software Safety and Evolution Tosin Daniel Oyetoyan, Reidar Conradi, Daniela Soares Cruzes Department of Computer and Information Science, NTNU, Trondheim, Norway. Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:41:30 Electric power transmission systems Technology Smart grid Open-source software System of systems Application software Software evolution Software configuration management Open source Systems engineering Emerging technologies Systems science
209	Foreign Animal & Zoonotic Disease (FAZD) Center Dynamic Preparedness System (DPS) The initial design concept called for the systems analysis and software team to design a dashboard-like dynamic display capable for foreig Add to Reading List Source URL: tcat.tamu.edu Language: English - Date: 2011-04-05 11:36:18 Ithaca New York Tompkins Consolidated Area Transit Texas Engineering Experiment Station Dashboard Georgia Tech Research Institute Surveillance Public safety National security Texas A&M University System Security Cornell University
210	Next Generation Air Transportation System Enterprise Architecture, Software, Safety, and Human Factors Review An Interim Report David Liddle, Chair, Committee to Review the Enterprise Architecture, Software Development A Add to Reading List Source URL: sites.nationalacademies.org Language: English - Date: 2014-10-15 18:57:41 Systems architect Science Joint Planning and Development Office Systems design Next Generation Air Transportation System System safety Enterprise architecture Air Traffic Organization Live virtual and constructive Systems engineering Systems theory Systems science

UPDATE